Binary Relations-based Rough Sets – an Automated Approach

JOURNAL ARTICLE published 1 June 2016 in Formalized Mathematics

Authors: Adam Grabowski

Operations of Points on Elliptic Curve in Projective Coordinates

JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics

Authors: Yuichi Futa | Hiroyuki Okazaki | Daichi Mizushima | Yasunari Shidama

Basic Formal Properties of Triangular Norms and Conorms

JOURNAL ARTICLE published 1 July 2017 in Formalized Mathematics

Authors: Adam Grabowski

Banach’s Continuous Inverse Theorem and Closed Graph Theorem

JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics

Authors: Hideki Sakurai | Hiroyuki Okazaki | Yasunari Shidama

Basic Properties of the Rank of Matrices over a Field

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Karol Pąk

Parity as a Property of Integers

JOURNAL ARTICLE published 1 July 2018 in Formalized Mathematics

Authors: Rafał Ziobro

Inverse Trigonometric Functions Arcsec and Arccosec

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Bing Xie | Xiquan Liang | Fuguo Ge

Heron's Formula and Ptolemy's Theorem

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Marco Riccardi

Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Takao Inoué | Noboru Endou | Yasunari Shidama

Prime Filters and Ideals in Distributive Lattices

JOURNAL ARTICLE published 1 October 2013 in Formalized Mathematics

Authors: Adam Grabowski

Double Sequences and Limits

JOURNAL ARTICLE published 1 October 2013 in Formalized Mathematics

Authors: Noboru Endou | Hiroyuki Okazaki | Yasunari Shidama

Borel-Cantelli Lemma

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Peter Jaeger

Vieta’s Formula about the Sum of Roots of Polynomials

JOURNAL ARTICLE published 1 July 2017 in Formalized Mathematics

Authors: Artur Korniłowicz | Karol Pąk

Lebesgue's Convergence Theorem of Complex-Valued Function

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Keiko Narita | Noboru Endou | Yasunari Shidama

Connectedness and Continuous Sequences in Finite Topological Spaces

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Yatsuka Nakamura

Several Classes of BCI-algebras and their Properties

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Yuzhong Ding

On L1 Space Formed by Real-Valued Partial Functions

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Yasushige Watase | Noboru Endou | Yasunari Shidama

Weak Completeness Theorem for Propositional Linear Time Temporal Logic

JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics

Authors: Mariusz Giero

On Multiset Ordering

JOURNAL ARTICLE published 1 June 2016 in Formalized Mathematics

Authors: Grzegorz Bancerek

Determinant and Inverse of Matrices of Real Elements

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Nobuyuki Tamura | Yatsuka Nakamura